Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
71	Epistemic Conditions for Iterated Admissibility* Adam Brandenburger Harvard Business School Boston, MA[removed]removed] Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Summation Game theory Decision theory Sequential equilibrium Admissible rule Mathematics Arithmetic Mathematical notation
72	Relating Nominal and Higher-Order Pattern Unification James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-04 14:27:22 Mathematics Unification Nominal terms Admissible rule Orbifold Natural deduction Mathematical logic Logic Symbol
73	A Simpler Proof Theory for Nominal Logic James Cheney University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-14 05:42:09 Proof theory Model theory Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Interpretation Logic Mathematical logic Mathematics
74	Another law school course outline brought to you by: Add to Reading List Source URL: www.ilrg.com Language: English - Date: 2007-01-21 16:30:12 Hearsay Tome v. United States Crawford v. Washington Admissible evidence Witness Relevance Best evidence rule Daubert standard Scientific evidence Law Evidence law Evidence
75	A Sufficient Completeness Reasoning Tool for Partial Specifications Technical Report (Draft) Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:15:04 Boolean algebra Measure theory Probability theory Sigma-algebra Parity of a permutation Model theory Admissible rule Unification Laplace transform Mathematics Mathematical analysis Mathematical logic
76	Unification in Maude Steven Eker 1 Unification Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-04-09 21:15:33 Logic programming Automated theorem proving Constraint programming Admissible rule Unification Satisfiability Local consistency Mathematical logic Logic Model theory
77	RULE[removed]Order-sorted Equational Unification Revisited Joe Hendrix and José Meseguer1 Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:47 Unification Admissible rule Sorting algorithms Entailment Symbol Logic Automated theorem proving Logic programming
78	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
79	EVIDENCE OUTLINE RELEVANCE §1: AN INTRODUCTION TO RELEVANCE §1.1: Relevance as the Presupposition of Admissibility A. G/R: in the law of evidence, truth matters. B. Rule 402: all relevant evidence is admissible, except Add to Reading List Source URL: www.wyolaw.org Language: English - Date: 2003-01-30 21:00:53 Hearsay Evidence Implied assertion Affidavit Witness Declarant Testimony Relevance Prior consistent statements and prior inconsistent statements Law Evidence law Hearsay in United States law
80	Decidability of DPDA equivalence Colin Stirling Division of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:56:31 Symbol Ordinal number Admissible rule Modal logic Constructible universe

UPDATE